Optimal. Leaf size=270 \[ -\frac{3 i d^2 (c+d x) e^{-2 i e-2 i f x}}{8 a^2 f^3}-\frac{3 i d^2 (c+d x) e^{-4 i e-4 i f x}}{128 a^2 f^3}+\frac{3 d (c+d x)^2 e^{-2 i e-2 i f x}}{8 a^2 f^2}+\frac{3 d (c+d x)^2 e^{-4 i e-4 i f x}}{64 a^2 f^2}+\frac{i (c+d x)^3 e^{-2 i e-2 i f x}}{4 a^2 f}+\frac{i (c+d x)^3 e^{-4 i e-4 i f x}}{16 a^2 f}+\frac{(c+d x)^4}{16 a^2 d}-\frac{3 d^3 e^{-2 i e-2 i f x}}{16 a^2 f^4}-\frac{3 d^3 e^{-4 i e-4 i f x}}{512 a^2 f^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.292698, antiderivative size = 270, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 3, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.13, Rules used = {3729, 2176, 2194} \[ -\frac{3 i d^2 (c+d x) e^{-2 i e-2 i f x}}{8 a^2 f^3}-\frac{3 i d^2 (c+d x) e^{-4 i e-4 i f x}}{128 a^2 f^3}+\frac{3 d (c+d x)^2 e^{-2 i e-2 i f x}}{8 a^2 f^2}+\frac{3 d (c+d x)^2 e^{-4 i e-4 i f x}}{64 a^2 f^2}+\frac{i (c+d x)^3 e^{-2 i e-2 i f x}}{4 a^2 f}+\frac{i (c+d x)^3 e^{-4 i e-4 i f x}}{16 a^2 f}+\frac{(c+d x)^4}{16 a^2 d}-\frac{3 d^3 e^{-2 i e-2 i f x}}{16 a^2 f^4}-\frac{3 d^3 e^{-4 i e-4 i f x}}{512 a^2 f^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3729
Rule 2176
Rule 2194
Rubi steps
\begin{align*} \int \frac{(c+d x)^3}{(a+i a \tan (e+f x))^2} \, dx &=\int \left (\frac{(c+d x)^3}{4 a^2}+\frac{e^{-2 i e-2 i f x} (c+d x)^3}{2 a^2}+\frac{e^{-4 i e-4 i f x} (c+d x)^3}{4 a^2}\right ) \, dx\\ &=\frac{(c+d x)^4}{16 a^2 d}+\frac{\int e^{-4 i e-4 i f x} (c+d x)^3 \, dx}{4 a^2}+\frac{\int e^{-2 i e-2 i f x} (c+d x)^3 \, dx}{2 a^2}\\ &=\frac{i e^{-2 i e-2 i f x} (c+d x)^3}{4 a^2 f}+\frac{i e^{-4 i e-4 i f x} (c+d x)^3}{16 a^2 f}+\frac{(c+d x)^4}{16 a^2 d}-\frac{(3 i d) \int e^{-4 i e-4 i f x} (c+d x)^2 \, dx}{16 a^2 f}-\frac{(3 i d) \int e^{-2 i e-2 i f x} (c+d x)^2 \, dx}{4 a^2 f}\\ &=\frac{3 d e^{-2 i e-2 i f x} (c+d x)^2}{8 a^2 f^2}+\frac{3 d e^{-4 i e-4 i f x} (c+d x)^2}{64 a^2 f^2}+\frac{i e^{-2 i e-2 i f x} (c+d x)^3}{4 a^2 f}+\frac{i e^{-4 i e-4 i f x} (c+d x)^3}{16 a^2 f}+\frac{(c+d x)^4}{16 a^2 d}-\frac{\left (3 d^2\right ) \int e^{-4 i e-4 i f x} (c+d x) \, dx}{32 a^2 f^2}-\frac{\left (3 d^2\right ) \int e^{-2 i e-2 i f x} (c+d x) \, dx}{4 a^2 f^2}\\ &=-\frac{3 i d^2 e^{-2 i e-2 i f x} (c+d x)}{8 a^2 f^3}-\frac{3 i d^2 e^{-4 i e-4 i f x} (c+d x)}{128 a^2 f^3}+\frac{3 d e^{-2 i e-2 i f x} (c+d x)^2}{8 a^2 f^2}+\frac{3 d e^{-4 i e-4 i f x} (c+d x)^2}{64 a^2 f^2}+\frac{i e^{-2 i e-2 i f x} (c+d x)^3}{4 a^2 f}+\frac{i e^{-4 i e-4 i f x} (c+d x)^3}{16 a^2 f}+\frac{(c+d x)^4}{16 a^2 d}+\frac{\left (3 i d^3\right ) \int e^{-4 i e-4 i f x} \, dx}{128 a^2 f^3}+\frac{\left (3 i d^3\right ) \int e^{-2 i e-2 i f x} \, dx}{8 a^2 f^3}\\ &=-\frac{3 d^3 e^{-2 i e-2 i f x}}{16 a^2 f^4}-\frac{3 d^3 e^{-4 i e-4 i f x}}{512 a^2 f^4}-\frac{3 i d^2 e^{-2 i e-2 i f x} (c+d x)}{8 a^2 f^3}-\frac{3 i d^2 e^{-4 i e-4 i f x} (c+d x)}{128 a^2 f^3}+\frac{3 d e^{-2 i e-2 i f x} (c+d x)^2}{8 a^2 f^2}+\frac{3 d e^{-4 i e-4 i f x} (c+d x)^2}{64 a^2 f^2}+\frac{i e^{-2 i e-2 i f x} (c+d x)^3}{4 a^2 f}+\frac{i e^{-4 i e-4 i f x} (c+d x)^3}{16 a^2 f}+\frac{(c+d x)^4}{16 a^2 d}\\ \end{align*}
Mathematica [A] time = 1.24597, size = 473, normalized size = 1.75 \[ \frac{\sec ^2(e+f x) (\cos (f x)+i \sin (f x))^2 \left (f^4 x \left (6 c^2 d x+4 c^3+4 c d^2 x^2+d^3 x^3\right ) (\cos (2 e)+i \sin (2 e))+\frac{1}{32} (\cos (2 e)-i \sin (2 e)) \cos (4 f x) \left (24 c^2 d f^2 (1+4 i f x)+32 i c^3 f^3+12 c d^2 f \left (8 i f^2 x^2+4 f x-i\right )+d^3 \left (32 i f^3 x^3+24 f^2 x^2-12 i f x-3\right )\right )+\frac{1}{32} (\cos (2 e)-i \sin (2 e)) \sin (4 f x) \left (24 c^2 d f^2 (4 f x-i)+32 c^3 f^3+12 c d^2 f \left (8 f^2 x^2-4 i f x-1\right )+d^3 \left (32 f^3 x^3-24 i f^2 x^2-12 f x+3 i\right )\right )+\sin (2 f x) \left (6 c^2 d f^2 (2 f x-i)+4 c^3 f^3+6 c d^2 f \left (2 f^2 x^2-2 i f x-1\right )+d^3 \left (4 f^3 x^3-6 i f^2 x^2-6 f x+3 i\right )\right )+\cos (2 f x) \left (6 c^2 d f^2 (1+2 i f x)+4 i c^3 f^3+6 c d^2 f \left (2 i f^2 x^2+2 f x-i\right )+d^3 \left (4 i f^3 x^3+6 f^2 x^2-6 i f x-3\right )\right )\right )}{16 f^4 (a+i a \tan (e+f x))^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.298, size = 272, normalized size = 1. \begin{align*}{\frac{{d}^{3}{x}^{4}}{16\,{a}^{2}}}+{\frac{c{d}^{2}{x}^{3}}{4\,{a}^{2}}}+{\frac{3\,{c}^{2}d{x}^{2}}{8\,{a}^{2}}}+{\frac{{c}^{3}x}{4\,{a}^{2}}}+{\frac{{\frac{i}{16}} \left ( 4\,{d}^{3}{x}^{3}{f}^{3}-6\,i{d}^{3}{f}^{2}{x}^{2}+12\,c{d}^{2}{f}^{3}{x}^{2}-12\,ic{d}^{2}{f}^{2}x+12\,{c}^{2}d{f}^{3}x-6\,i{c}^{2}d{f}^{2}+4\,{c}^{3}{f}^{3}-6\,{d}^{3}fx+3\,i{d}^{3}-6\,c{d}^{2}f \right ){{\rm e}^{-2\,i \left ( fx+e \right ) }}}{{a}^{2}{f}^{4}}}+{\frac{{\frac{i}{512}} \left ( 32\,{d}^{3}{x}^{3}{f}^{3}-24\,i{d}^{3}{f}^{2}{x}^{2}+96\,c{d}^{2}{f}^{3}{x}^{2}-48\,ic{d}^{2}{f}^{2}x+96\,{c}^{2}d{f}^{3}x-24\,i{c}^{2}d{f}^{2}+32\,{c}^{3}{f}^{3}-12\,{d}^{3}fx+3\,i{d}^{3}-12\,c{d}^{2}f \right ){{\rm e}^{-4\,i \left ( fx+e \right ) }}}{{a}^{2}{f}^{4}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: RuntimeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.62439, size = 639, normalized size = 2.37 \begin{align*} \frac{{\left (32 i \, d^{3} f^{3} x^{3} + 32 i \, c^{3} f^{3} + 24 \, c^{2} d f^{2} - 12 i \, c d^{2} f - 3 \, d^{3} +{\left (96 i \, c d^{2} f^{3} + 24 \, d^{3} f^{2}\right )} x^{2} +{\left (96 i \, c^{2} d f^{3} + 48 \, c d^{2} f^{2} - 12 i \, d^{3} f\right )} x + 32 \,{\left (d^{3} f^{4} x^{4} + 4 \, c d^{2} f^{4} x^{3} + 6 \, c^{2} d f^{4} x^{2} + 4 \, c^{3} f^{4} x\right )} e^{\left (4 i \, f x + 4 i \, e\right )} +{\left (128 i \, d^{3} f^{3} x^{3} + 128 i \, c^{3} f^{3} + 192 \, c^{2} d f^{2} - 192 i \, c d^{2} f - 96 \, d^{3} +{\left (384 i \, c d^{2} f^{3} + 192 \, d^{3} f^{2}\right )} x^{2} +{\left (384 i \, c^{2} d f^{3} + 384 \, c d^{2} f^{2} - 192 i \, d^{3} f\right )} x\right )} e^{\left (2 i \, f x + 2 i \, e\right )}\right )} e^{\left (-4 i \, f x - 4 i \, e\right )}}{512 \, a^{2} f^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.86125, size = 666, normalized size = 2.47 \begin{align*} \begin{cases} \frac{\left (\left (512 i a^{14} c^{3} f^{19} e^{20 i e} + 1536 i a^{14} c^{2} d f^{19} x e^{20 i e} + 384 a^{14} c^{2} d f^{18} e^{20 i e} + 1536 i a^{14} c d^{2} f^{19} x^{2} e^{20 i e} + 768 a^{14} c d^{2} f^{18} x e^{20 i e} - 192 i a^{14} c d^{2} f^{17} e^{20 i e} + 512 i a^{14} d^{3} f^{19} x^{3} e^{20 i e} + 384 a^{14} d^{3} f^{18} x^{2} e^{20 i e} - 192 i a^{14} d^{3} f^{17} x e^{20 i e} - 48 a^{14} d^{3} f^{16} e^{20 i e}\right ) e^{- 4 i f x} + \left (2048 i a^{14} c^{3} f^{19} e^{22 i e} + 6144 i a^{14} c^{2} d f^{19} x e^{22 i e} + 3072 a^{14} c^{2} d f^{18} e^{22 i e} + 6144 i a^{14} c d^{2} f^{19} x^{2} e^{22 i e} + 6144 a^{14} c d^{2} f^{18} x e^{22 i e} - 3072 i a^{14} c d^{2} f^{17} e^{22 i e} + 2048 i a^{14} d^{3} f^{19} x^{3} e^{22 i e} + 3072 a^{14} d^{3} f^{18} x^{2} e^{22 i e} - 3072 i a^{14} d^{3} f^{17} x e^{22 i e} - 1536 a^{14} d^{3} f^{16} e^{22 i e}\right ) e^{- 2 i f x}\right ) e^{- 24 i e}}{8192 a^{16} f^{20}} & \text{for}\: 8192 a^{16} f^{20} e^{24 i e} \neq 0 \\\frac{x^{4} \left (2 d^{3} e^{2 i e} + d^{3}\right ) e^{- 4 i e}}{16 a^{2}} + \frac{x^{3} \left (2 c d^{2} e^{2 i e} + c d^{2}\right ) e^{- 4 i e}}{4 a^{2}} + \frac{x^{2} \left (6 c^{2} d e^{2 i e} + 3 c^{2} d\right ) e^{- 4 i e}}{8 a^{2}} + \frac{x \left (2 c^{3} e^{2 i e} + c^{3}\right ) e^{- 4 i e}}{4 a^{2}} & \text{otherwise} \end{cases} + \frac{c^{3} x}{4 a^{2}} + \frac{3 c^{2} d x^{2}}{8 a^{2}} + \frac{c d^{2} x^{3}}{4 a^{2}} + \frac{d^{3} x^{4}}{16 a^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.19268, size = 517, normalized size = 1.91 \begin{align*} \frac{{\left (32 \, d^{3} f^{4} x^{4} e^{\left (4 i \, f x + 4 i \, e\right )} + 128 \, c d^{2} f^{4} x^{3} e^{\left (4 i \, f x + 4 i \, e\right )} + 192 \, c^{2} d f^{4} x^{2} e^{\left (4 i \, f x + 4 i \, e\right )} + 128 i \, d^{3} f^{3} x^{3} e^{\left (2 i \, f x + 2 i \, e\right )} + 32 i \, d^{3} f^{3} x^{3} + 128 \, c^{3} f^{4} x e^{\left (4 i \, f x + 4 i \, e\right )} + 384 i \, c d^{2} f^{3} x^{2} e^{\left (2 i \, f x + 2 i \, e\right )} + 96 i \, c d^{2} f^{3} x^{2} + 384 i \, c^{2} d f^{3} x e^{\left (2 i \, f x + 2 i \, e\right )} + 192 \, d^{3} f^{2} x^{2} e^{\left (2 i \, f x + 2 i \, e\right )} + 96 i \, c^{2} d f^{3} x + 24 \, d^{3} f^{2} x^{2} + 128 i \, c^{3} f^{3} e^{\left (2 i \, f x + 2 i \, e\right )} + 384 \, c d^{2} f^{2} x e^{\left (2 i \, f x + 2 i \, e\right )} + 32 i \, c^{3} f^{3} + 48 \, c d^{2} f^{2} x + 192 \, c^{2} d f^{2} e^{\left (2 i \, f x + 2 i \, e\right )} - 192 i \, d^{3} f x e^{\left (2 i \, f x + 2 i \, e\right )} + 24 \, c^{2} d f^{2} - 12 i \, d^{3} f x - 192 i \, c d^{2} f e^{\left (2 i \, f x + 2 i \, e\right )} - 12 i \, c d^{2} f - 96 \, d^{3} e^{\left (2 i \, f x + 2 i \, e\right )} - 3 \, d^{3}\right )} e^{\left (-4 i \, f x - 4 i \, e\right )}}{512 \, a^{2} f^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]